A behavioral interface specification language that can be used to specify the behavior of Java modules.

Set of Java packages supporting heterogeneous, concurrent modeling and design. [Open Source, BDL]

Technical paper reviewing PolyJ, an extension to Java allowing parameterized types.

Extensible language based on Java. A Metaobject Protocol (MOP) is the extension interface; lets programmers customize language to implement new language features, mechanisms.

A framework for load-time transformation of Java programs. [Open Source, LGPL]

Supports Design By Contract in Java. Discovers "contracts" during class loading and instruments the class bytecodes on-the-fly to check run-time contract violations. [Apache Open Source Licence]

Supports load-time and runtime behavioural reflection in Java by allowing classes to be modified by Java code as they are loaded in. [Freeware, source available]

A minimal extension to Java easing distributed parallel programming of cluster computers. A source code transformation automatically generates a distributed pure Java program based on RMI or KaRMI.

Modification of the Java language designed to have true support for the IEEE 754 floating point standard.

Simplified subset of Java (supersedes Jr), and online environment for learning programming: simple, made for beginners, includes assertions and Design by Contract from Bertrand Meyer and Eiffel; class tested over 2 years, free accounts available.